Un cours "électronique" sur la programmation par contraintes
نویسنده
چکیده
منابع مشابه
Évaluer la difficulté d’une grille de sudoku à l’aide d’un modèle contraintes
Le sudoku est un jeu de logique qui est devenu en quelques mois un phénomène de société en France. Il envahit les métros, les trains, les bus, les salles de cours et même le journal Le Monde. Grâce à ce jeu, le grand public est devenu le M. Jourdain de la Programmation Par Contraintes. En effet, l’intérêt de ce jeu pour montrer très rapidement et très simplement les principes premiers de la pro...
متن کاملExplications conviviales pour la programmation par contraintes
RÉSUMÉ. Dans cet article, nous présentons un ensemble d’outils pour fournir des explications conviviales dans un système de programmation par contraintes avec explications. L’idée est de représenter les contraintes d’un problème sous forme hiérarchique (un arbre). Les utilisateurs sont alors représentés comme un ensemble de noeuds compréhensibles dans cet arbre (une coupe). Les explications cla...
متن کاملReformulation de problèmes de satisfaction de contraintes basée sur des métamodèles
Un des challenges importants en programmation par contraintes est la reformulation de modèles déclaratifs en programmes exécutables permettant de calculer leurs solutions. Cette phase peut nécessiter de faire des traductions entre les langages de la programmation par contraintes, de changer la représentation des contraintes ou d’optimiser les modèles et de paramétrer les stratégies de recherche...
متن کاملConception Par Objets D'un Syst Eme Pour Combiner Raisonnement Formel Et Satisfaction De Contraintes
La programmation par satisfaction de contraintes (CSP) est un outil puissant qui permet de r esoudre de nombreux probl emes combinatoires. Cependant, il existe des situations dans lesquelles un raisonnement formel sur les contraintes trouve le r esultat plus vite et plus facilement que les techniques classiques de CSP. Dans cette optique, nous reconstruisons le syst eme Alice, qui proposait de ...
متن کاملProgrammation par contraintes avec des fourmis
On explore dans cet article les possibilités d’intégration de la métaheuristique d’optimisation par colonies de fourmis (ACO) dans un langage de programmation par contraintes (PPC). L’idée est d’utiliser un langage de PPC pour décrire le problème à résoudre, ainsi que pour propager et vérifier les contraintes, et d’utiliser ACO pour guider la recherche de solutions. On illustre notre approche s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003